8.1 The mean collision time